Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
491	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]PRIORITIZED IMPERATIVES AND NORMATIVE CONFLICTS Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:28 Logic Metaphilosophy Differential geometry Differential topology Operator theory Linear temporal logic Mathematics Interpretation Model theory Metalogic Constructible universe
492	Compact Representation for Answer Sets of n-ary Regular Queries by Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-07-14 21:35:59 Model theory Functions and mappings Computability theory Structure FO Constructible universe Function Arity Linear temporal logic Mathematics Mathematical logic Universal algebra
493	J Philos Logic[removed]:83–125 DOI[removed]s10992[removed]Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences Johan van Benthem · Patrick Girard · Olivier Roy Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2010-09-22 04:37:20 Model theory Non-classical logic Propositional calculus Modal logic Interpretation Entailment Ceteris paribus Bisimulation Linear temporal logic Logic Philosophical logic Metalogic
494	Analyzing Infeasible Optimization Models John W. Chinneck Systems & Computer Engineering Carleton University Ottawa, Canada Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2004-05-25 08:57:34 Applied mathematics Mathematics Linear programming Constraint Logic programming Mathematical analysis Operations research Mathematical optimization Convex optimization
495	In Proc. of NIPS 2006, Vancouver, CA Fast Computation of Graph Kernels∗ S.V. N. Vishwanathan [removed] Add to Reading List Source URL: www.dbs.ifi.lmu.de Language: English - Date: 2007-03-12 04:50:29 Algebraic graph theory Adjacency matrix Matrices Matrix Eigenvalues and eigenvectors Graph Linear temporal logic Algebra Mathematics Graph theory
496	Analyzing Mathematical Programs using MProbe John W. Chinneck Systems and Computer Engineering Carleton University 1125 Colonel By Drive Ottawa, Ontario K1S 5B6 Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2000-04-14 10:05:16 Operations research Convex optimization Convex analysis Mathematical modeling Convex function Linear programming Nonlinear programming Duality Constraint logic programming Mathematical optimization Mathematics Mathematical analysis
497	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
498	1624 IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOL. 23, NO. 10, OCTOBER 2012 Efficient Online Subspace Learning With an Indefinite Kernel for Visual Add to Reading List Source URL: ibug.doc.ic.ac.uk Language: English - Date: 2012-09-14 12:52:29 Functional analysis Functions and mappings Operator theory Linear algebra Kernel principal component analysis Positive-definite kernel Limit Distribution Entailment Mathematical analysis Mathematics Logic
499	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-24 12:32:32 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
500	5.0 V/12 V Bias to 2.5 V/10 A Synchronous Buck Converter Add to Reading List Source URL: www.intusoft.com Language: English - Date: 2011-03-23 12:54:33 Buck converter Linear regulator Load regulation Voltage regulation Power supply MOSFET Analog circuits Logic families Electrical engineering Electromagnetism Electronics

UPDATE